$\forall$$R$:Realizer. R{-}Feasible($R$) $\Rightarrow$ [[$R$]] $\in$ Dsys